Lawrence Paulson - PDFSEARCH.IO - Document Search Engine

Lawrence Paulson
Results: 36

#	Item
21	Isabelle and Security Jasmin Christian Blanchette1,2 and Andrei Popescu3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-02-24 07:25:16 Logic in computer science Automated theorem proving Formal methods Isabelle Proof assistant Mathematical logic Theorem Proving in Higher-Order Logics Formal verification Lawrence Paulson Theoretical computer science Mathematics Applied mathematics
22	Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers Lawrence C. Paulson Computer Laboratory University of Cambridge, U.K. Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-12-06 04:58:13 Logic in computer science Automated theorem proving Formal methods Isabelle Proof assistant Automated reasoning Logic for Computable Functions E theorem prover Mathematical proof Theoretical computer science Applied mathematics Mathematics
23	Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04
24	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Functional languages Procedural programming languages Logic in computer science Isabelle ML OCaml Lawrence Paulson Logic for Computable Functions Programming language Software engineering Computing Computer programming
25	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 JEdit Proof assistant Isabelle Plug-in Lawrence Paulson R HOL Logic for Computable Functions Software Computing Logic in computer science
26	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 JEdit Proof assistant Isabelle Plug-in Lawrence Paulson R HOL Logic for Computable Functions Software Computing Logic in computer science
27	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Constraint programming Satisfiability Modulo Theories Isabelle Proof assistant Automated reasoning E theorem prover Theoretical computer science Applied mathematics Mathematics
28	Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-09-27 12:57:43 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory
29	Welcome to your Computer Science course Computer Science The Computer Laboratory Faculty of Computer Science and Technology Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-10-17 06:11:08 Cambridge Mathematical Tripos Mathematics education Natural Sciences TRIPOS Lawrence Paulson Computer science University of Cambridge Education Computer science education
30	The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-29 08:25:04 Ordinal numbers Constructible universe Axiom schema of replacement Absoluteness Zermelo–Fraenkel set theory Normal function Forcing Boolean-valued model Mathematical logic Mathematics Set theory